An Intermediate Language for the Stochastic Simulation of Biological Systems Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo–Schettini, Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Mathematics
• Formal languages
• Combinatorics
• Theoretical computer science
• Mathematical logic
• Combinatorics on words
• Data types
• Order theory
• Multiset
• Rewriting
• Path ordering
• L-system

Simulation of Kohn’s Molecular Interaction Maps Through Translation into Stochastic CLS+ Roberto Barbuti1 , Daniela Lepri2 , Andrea Maggiolo-Schettini1 , Paolo Milazzo1 , Giovanni Pardini1 , and Aureliano Rama1 1 Dipar

Source URL: pages.di.unipi.it

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain
• Chemical reaction

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways Roberto Barbuti1 , Andrea Maggiolo–Schettini1, Paolo Milazzo1 , Paolo Tiberi1 , and Angelo Troina2 1

Source URL: pages.di.unipi.it

• Theoretical computer science
• Mathematics
• Logic in computer science
• Lambda calculus
• Formal languages
• Mathematical logic
• Rewriting
• Fixed-point combinator
• Sequence
• Rewrite order
• Substitution

Delay Stochastic Simulation of Biological Systems: A Purely Delayed Approach Roberto Barbuti, Giulio Caravagna, Andrea Maggiolo-Schettini, and Paolo Milazzo Dipartimento di Informatica, Universit` a di Pisa

Source URL: pages.di.unipi.it

• Differential equations
• Biology
• Stochastic simulation
• Stochastic processes
• Cellular processes
• Cell cycle
• Delay differential equation
• G1 phase
• Gillespie algorithm

Proceedings of the 2011 Winter Simulation Conference S. Jain, R. R. Creasey, J. Himmelspach, K. P. White, and M. Fu, eds. A regularized adaptive steplength stochastic approximation scheme for monotone stochastic variatio

Source URL: www.ifp.illinois.edu

Creative Destruction in a Dynamic Stochastic General Equilibrium Framework: Evaluation Through Calibration and Simulation A Thesis Presented to The Established Interdisciplinary Committee for Mathematics and Economics

Source URL: cdn.joeahand.com

Stochastic Simulation of The Three Dimensional Quantum Vacuum February 1995 This publication was typeset using AMS-TEX, the American Mathematical Society’s TEX macro system.

Source URL: www.fine-structure-constant.org

MODELING and SIMULATIONS of CARDIOVASCULAR DISEASES IST -Center for Computational and Stochastic

Source URL: www.ciencia2016.pt

• Medicine
• Circulatory system
• Angiology
• Computational science
• RTT
• Intracranial aneurysm
• Neurosurgery
• Bicuspid aortic valve
• Aneurysm
• Computer simulation
• Cardiology
• Simulation

Fluid Approximation for Stochastic Model Checking Jane Hillston joint work with Luca Bortolussi

Source URL: homepages.inf.ed.ac.uk

• Probability theory
• Stochastic processes
• Statistics
• Probability
• Markov models
• Markov processes
• Statistical models
• Stochastic simulation
• Markov chain
• Fluid queue
• Economic model
• Stochastic

Emulation on a Versatile Architecture for discrete time Queuing Network : Application to High Speed Network C.Labb´e M2000 4 rue R. RazelSaclay, France

Source URL: membres-lig.imag.fr

• Network performance
• Computing
• Telecommunications engineering
• Network management
• Business
• Computer networking
• Stochastic processes
• Teletraffic
• Queueing theory
• Packet loss
• Quality of service
• Network simulation